Doppler measurements of the ionosphere on the occasion of the Apollo-Soyuz test project. Part 2: Inversion of differential and rotating Doppler shifts

The preparation of the analytical approach and of the related software used in the inversion of the differential and rotating Doppler data obtained from the ionospheric experiment of the Apollo-Soyuz Test Project (ASTP) is discussed. These data were collected in space-to-space paths (between the ASTP Docking Module (DM) and the Apollo Command Service Module and in space-to-ground paths (between the DM and ground). The Doppler links operated at 162 and 324 MHz and have an accuracy better than 3 MHz over 10-sec integration time. The inversion approach was tested with dummy data obtained with a computer simulation. It was found that a measurement accuracy of 1 to 10% in the value of the horizontal electron density gradient at 221-km altitude can be achieved, in space-to-space paths. For space-to-ground paths near the orbital plane, possible effects of the horizontal gradients on the received differential Doppler shifts were identified. It was possible to reduce the gradient-associated errors in the inversion that leads to the columnar electron content by approximately one-half. Accuracies of 5 to 10% in columnar electron content are achievable, with this gradient-compensation technique

Execution Models for Choreographies and Cryptoprotocols

A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a security infrastructure in order to implement them safely. As part of a line of work devoted to generating cryptoprotocols from choreographies, we focus here on the execution models suited to the two levels. We give a strand-style semantics for choreographies, and propose a special execution model in which choreography-level messages are faithfully delivered exactly once. We adapt this model to handle multiparty protocols in which some participants may be compromised. At level of cryptoprotocols, we use the standard Dolev-Yao execution model, with one alteration. Since many implementations use a "nonce cache" to discard multiply delivered messages, we provide a semantics for at-most-once delivery